Thegaiamethodology : Basic Concepts and Extensions
نویسندگان
چکیده
The Gaia methodology (Wooldridge et al., 2000) has been the rst complete methodology for the analysis and design of multiagent systems. However, the original version of Gaia su ered from the limitations of being suitable for the analysis and design of closed multiagent systems and of adopting non-standard notation techniques. For these reasons, several extensions to the basic Gaia methodology has been recently proposed. In this chapter, we summarize the key characteristics of the original Gaia methodology and present three extensions that have been proposed to Gaia to overcome its limitations and to make it more suitable for the development of open multiagent systems in complex environments.
منابع مشابه
Universal Central Extension of Current Superalgebras
Representation as well as central extension are two of the most important concepts in the theory of Lie (super)algebras. Apart from the interest of mathematicians, the attention of physicist are also drawn to these two subjects because of the significant amount of their applications in Physics. In fact for physicists, the study of projective representations of Lie (super)algebras are very impo...
متن کاملOn Hyperideal Structure of Ternary Semihypergroups
In this paper, we introduce and study the concepts of prime left, semiprime left and irreducible left hyperideals in ternary semihyper- groups and investigate some basic properties of them. We introduce the concepts of hyper lter and hypersemilattice congruence of ternary semi- hypergroups. We give some characterizations of hyper lters in ternary semihypergroups. Some relationships between hype...
متن کاملBasic Concepts, Identities and Inequalities - the Toolkit of Information Theory
Basic concepts and results of that part of Information Theory which is often referred to as “Shannon Theory” are discussed with focus mainly on the discrete case. The paper is expository with some new proofs and extensions of results and concepts.
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملOre extensions of skew $pi$-Armendariz rings
For a ring endomorphism $alpha$ and an $alpha$-derivation $delta$, we introduce a concept, so called skew $pi$-Armendariz ring, that is a generalization of both $pi$-Armendariz rings, and $(alpha,delta)$-compatible skew Armendariz rings. We first observe the basic properties of skew $pi$-Armendariz rings, and extend the class of skew $pi$-Armendariz rings through various ring extensions. We nex...
متن کامل